More from this Author

Coordination Models and Languages

by Paolo Ciancarini (Editor), Herbert Wiklicky (Editor)

Formal Methods for Dynamical Systems

by Marco Bernardo (Editor), Erik de Vink (Editor), Alessandra Di Pierro (Editor), Herbert Wiklicky (Editor)